Second-order predicate calculus
[计] 二阶谓词演算
🧩 词语组成解析
second
['sɛkənd]
n. 秒;瞬间;次货;第二份食物;
adj. 第二的;次要的;居第二位的;另外的;
adv. 第二;其次;以第二位;
vt. 支持;临时调派;附议;赞成提案;
sec跟随+ond=one第一→跟随第一个之后→第二；秒
order
['ɔ:də]
n. 命令;秩序;规则，制度;次序;
vt. 命令;订购;整理;
vi. 下订单;
predicate
['predikit]
vt. 断言，断定;宣布，宣讲;使基于;
vi. 断言，断定;
n. 谓语;述语;
adj. 谓语的;述语的;
calculus
['kælkjələs]
n. [医]结石，石，积石，牙垢;[数]运算，演算，微积分（学）;
ule,ulus 后缀;表”小,少”#词根助记：calc石头(古时候用石头来计算)##calc 石灰,石头#词根助记：calc石头(古时候用石头来计算)
🗣️ 情景例句
By the way, will we be able to get a refund on this cancellation?
顺便问一下，我们取消后可拿回定金吗？
In the kingdom of blind men, the oneeyed is king.
生在盲人国，独眼也称王。
Yes, they are.
是的，他们也是。